#include "eval.h"

//************************************
//*************Desplegue**************
//************************************
void desplegaTipoEvaluacion(Tipo_Evaluacion tipoEvaluacion){

    switch (tipoEvaluacion){
        case tautologia: printf("tautologia");
			break;
        case contradiccion: printf("contradiccion");
			break;
        case contingencia: printf("contingencia");
			break;
        default:;
    }

}

